euclidean domain definition